﻿
namespace SatisfiableChecker
{
    public static class SatisfiableHelper
    {
        /// <summary>
        /// Semantically, this method doesn't do anything.
        /// But as a side effect, it will determine if the given condition is unconditionally 'true',
        /// also taking into account the current path condition. 
        /// The result will be shown in the report.
        /// </summary>
        /// <param name="value"></param>
        public static void Check(bool value)
        {
        }
    }
}
